OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract)

OB(PN)2: An Object Based Petri Net Programming Notation

B(PN)2 - a Basic Petri Net Programming Notation

This paper presents the syntax of a concurrent programming notation which integrates a variety of process interaction techniques, its compositional Petri net semantics via the Box calculus, and an example of using the semantics for program verification.

Pn-tox: a Paradigm and Development Environment for Object Concurrency Speciications

In the domain of concurrent object-oriented programming (COOP) there is a strong need for a formalism to describe concurrency. Such a formalism is ooered by Petri nets, which however lack thorough modularisation techniques for coping with models for large systems. An appropriate combination of COOP and Petri nets is required in order to proot from the strength of both methods. This paper gives ...

Oob(pn) 2 : an Object Oriented Petri Net Programming Notation (a Status Report)

In this paper we present an overview of the basic ideas involved in an ongoing project for giving Petri net semantics to an object-oriented language. At present the emphasis is not in the development of the language, but in the study of how far one can get with the existing Petri net machinery. The OOB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is...

An Evolutionary Approach to the Use of PetriNet based Models : From Parallel Controllers toHW / SW Co -

The main purpose of this article is to present how Petri Nets (PNs) have been used for hardware design at our research laboratory. We describe the use of PN models to specify synchronous parallel controllers and how PN speciications can be extended to include the behavioural description of the data path, by using object-oriented concepts. Some hierarchical mechanisms which deal with the speciic...